121. Automatic syntactic analysis

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Compiling )Electronic computers(,، Formal languages

رده :
QA
76
.
5
.
F6

122. Categorical combinators, sequential algorithms, and functional programming

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Formal languages

رده :
QA
267
.
3
.
C87
1993

123. Categorical combinators, sequential algorithms, and functional programming

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Formal languages

رده :
QA
267
.
3
.
C87
1993

124. Categorical combinators, sequential algorithms, and functional programming

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)

موضوع : Formal languages

رده :
QA
,
267
.
3
,.
C87

125. Combinatorics on traces

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Sequential machine theory,، Formal languages

رده :
QA
267
.
5
.
S4
.
D54
1990

126. Combinatorics on traces

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Sequential machine theory,، Formal languages

رده :
QA
76
.
L28
Vol
.
454

127. Communication and concurrency

پدیدآورنده :

موضوع : ، Machine theory,، Formal languages

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

128. Communication and concurrency

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Machine theory,، Formal languages

رده :
QA
267
.
M533
1989

129. Communication and concurrency /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal languages.,Machine theory.,Operating systems (Computers).,Parallélisme (Informatique),Systèmes d'exploitation (Ordinateurs)-- Logiciels.,Betriebssystem,Betriebssystem.,Formal languages.,Kommunikationssystem,Kommunikationssystem.,Machine theory.,Parallelverarbeitung,Programmierung,Verteiltes System

رده :
QA267
.
M533
1989

130. Communication and concurrency

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : ، Machine theory,، Formal languages

رده :
QA
267
.
M533

131. Communication & concurrency

پدیدآورنده :

کتابخانه: (طهران)

موضوع : MACHINE THEORY , FORMAL LANGUAGES

رده :
QA
267
.
M533

132. Computability, Complexity, and Languages

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبان‌های صوری

رده :
E-Book
,

133. Computability, complexity, and languages :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computational complexity,Formal languages,Machine theory

رده :
QA267
.
D38
1994

134. Computability, complexity, and languages

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Machine theory,Computational complexity,Formal languages

رده :
QA
.
D38
267
1983

135. Computability, complexity, and languages : fundamentals of theoretical computer science

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Machine theory,، Computational complexity,، Formal languages

رده :
QA
267
.
D285C6

136. Computability, complexity, and languages : fundamentals of theoretical computer science

پدیدآورنده :

موضوع : ، Machine theory,، Computational complexity,، Formal languages

۳ نسخه از این کتاب در ۲ کتابخانه موجود است.

137. Computability, complexity, and languages : fundamentals of theoretical computer science

پدیدآورنده :

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)

موضوع : Machine theory,Computational complexity,Formal languages

رده :
QA
267
.
D38
1994

138. Computability, complexity, and languages fundamentals of theoretical computer science

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : ، Machine theory,، Computational complexity,، Formal languages

رده :
QA
267
.
D38

139. Computability, complexity, and languages : fundamentals of theoretical computer science

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Machine theory,، Computational complexity,، Formal languages

رده :
QA
267
.
D285C6
1994

140. Computational Logic in Multi-Agent Systems

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer Science,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,علوم کامپیوتر

رده :
E-Book
,